Nuprl Definition : csupdate 11,40
csupdate(from;cmds) == inr <from, cmds>  
latex

Definitionsinr x , <a, b>
FDL editor aliasescsupdate

origin